/ Aminet 5 / Aminet 5 - March 1995.iso / Aminet / dev / misc / LEDA_high.lha / LEDA-3.1c-high / man / MANUAL.mac

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 6d 61 67 6e 69 66 69 | 63 61 74 69 6f 6e 20 3d |\magnifi|cation =|
|00000010| 20 5c 6d 61 67 73 74 65 | 70 31 0a 0a 5c 66 6f 6e | \magste|p1..\fon|
|00000020| 74 5c 74 69 74 6c 65 66 | 6f 6e 74 3d 63 6d 62 78 |t\titlef|ont=cmbx|
|00000030| 31 30 20 73 63 61 6c 65 | 64 20 5c 6d 61 67 73 74 |10 scale|d \magst|
|00000040| 65 70 33 20 0a 5c 66 6f | 6e 74 5c 73 65 63 74 69 |ep3 .\fo|nt\secti|
|00000050| 6f 6e 66 6f 6e 74 3d 63 | 6d 72 31 30 20 73 63 61 |onfont=c|mr10 sca|
|00000060| 6c 65 64 20 5c 6d 61 67 | 73 74 65 70 32 0a 5c 66 |led \mag|step2.\f|
|00000070| 6f 6e 74 5c 6d 61 67 6f | 6e 65 3d 63 6d 72 31 30 |ont\mago|ne=cmr10|
|00000080| 20 73 63 61 6c 65 64 20 | 5c 6d 61 67 73 74 65 70 | scaled |\magstep|
|00000090| 31 0a 5c 66 6f 6e 74 5c | 6d 61 67 6f 6e 65 62 66 |1.\font\|magonebf|
|000000a0| 3d 63 6d 62 78 31 30 20 | 73 63 61 6c 65 64 20 5c |=cmbx10 |scaled \|
|000000b0| 6d 61 67 73 74 65 70 31 | 20 0a 5c 66 6f 6e 74 5c |magstep1| .\font\|
|000000c0| 6d 61 67 74 77 6f 3d 63 | 6d 72 31 30 20 73 63 61 |magtwo=c|mr10 sca|
|000000d0| 6c 65 64 20 5c 6d 61 67 | 73 74 65 70 32 0a 5c 66 |led \mag|step2.\f|
|000000e0| 6f 6e 74 5c 6d 61 67 74 | 77 6f 62 66 3d 63 6d 62 |ont\magt|wobf=cmb|
|000000f0| 78 31 30 20 73 63 61 6c | 65 64 20 5c 6d 61 67 73 |x10 scal|ed \mags|
|00000100| 74 65 70 32 20 0a 5c 66 | 6f 6e 74 5c 6d 61 67 74 |tep2 .\f|ont\magt|
|00000110| 68 72 65 65 3d 63 6d 72 | 31 30 20 73 63 61 6c 65 |hree=cmr|10 scale|
|00000120| 64 20 5c 6d 61 67 73 74 | 65 70 33 0a 5c 66 6f 6e |d \magst|ep3.\fon|
|00000130| 74 5c 6d 61 67 74 68 72 | 65 65 62 66 3d 63 6d 62 |t\magthr|eebf=cmb|
|00000140| 78 31 30 20 73 63 61 6c | 65 64 20 5c 6d 61 67 73 |x10 scal|ed \mags|
|00000150| 74 65 70 33 20 0a 5c 66 | 6f 6e 74 5c 6d 61 67 66 |tep3 .\f|ont\magf|
|00000160| 6f 75 72 3d 63 6d 72 31 | 30 20 73 63 61 6c 65 64 |our=cmr1|0 scaled|
|00000170| 20 5c 6d 61 67 73 74 65 | 70 34 0a 5c 66 6f 6e 74 | \magste|p4.\font|
|00000180| 5c 6d 61 67 66 6f 75 72 | 62 66 3d 63 6d 62 78 31 |\magfour|bf=cmbx1|
|00000190| 30 20 73 63 61 6c 65 64 | 20 5c 6d 61 67 73 74 65 |0 scaled| \magste|
|000001a0| 70 34 20 0a 0a 5c 66 6f | 6e 74 5c 62 69 67 6f 6e |p4 ..\fo|nt\bigon|
|000001b0| 65 3d 63 6d 72 31 30 20 | 73 63 61 6c 65 64 20 5c |e=cmr10 |scaled \|
|000001c0| 6d 61 67 73 74 65 70 31 | 0a 5c 66 6f 6e 74 5c 62 |magstep1|.\font\b|
|000001d0| 69 67 74 77 6f 3d 63 6d | 72 31 30 20 73 63 61 6c |igtwo=cm|r10 scal|
|000001e0| 65 64 20 5c 6d 61 67 73 | 74 65 70 32 0a 5c 66 6f |ed \mags|tep2.\fo|
|000001f0| 6e 74 5c 62 69 67 74 68 | 72 65 65 3d 63 6d 72 31 |nt\bigth|ree=cmr1|
|00000200| 30 20 73 63 61 6c 65 64 | 20 5c 6d 61 67 73 74 65 |0 scaled| \magste|
|00000210| 70 33 0a 5c 66 6f 6e 74 | 5c 62 69 67 66 6f 75 72 |p3.\font|\bigfour|
|00000220| 3d 63 6d 72 31 30 20 73 | 63 61 6c 65 64 20 5c 6d |=cmr10 s|caled \m|
|00000230| 61 67 73 74 65 70 34 0a | 0a 5c 66 6f 6e 74 5c 62 |agstep4.|.\font\b|
|00000240| 69 67 74 74 3d 63 6d 74 | 74 31 30 20 73 63 61 6c |igtt=cmt|t10 scal|
|00000250| 65 64 20 5c 6d 61 67 73 | 74 65 70 31 0a 0a 0a 25 |ed \mags|tep1...%|
|00000260| 5c 68 6f 66 66 73 65 74 | 3d 2d 30 2e 35 74 72 75 |\hoffset|=-0.5tru|
|00000270| 65 6d 6d 0a 25 5c 76 6f | 66 66 73 65 74 3d 30 2e |emm.%\vo|ffset=0.|
|00000280| 35 74 72 75 65 63 6d 0a | 0a 5c 68 73 69 7a 65 3d |5truecm.|.\hsize=|
|00000290| 31 36 74 72 75 65 63 6d | 0a 5c 76 73 69 7a 65 3d |16truecm|.\vsize=|
|000002a0| 32 33 2e 35 74 72 75 65 | 63 6d 0a 0a 25 5c 68 73 |23.5true|cm..%\hs|
|000002b0| 69 7a 65 3d 31 33 2e 33 | 74 72 75 65 63 6d 0a 25 |ize=13.3|truecm.%|
|000002c0| 5c 76 73 69 7a 65 3d 31 | 39 2e 38 74 72 75 65 63 |\vsize=1|9.8truec|
|000002d0| 6d 0a 0a 0a 5c 62 61 73 | 65 6c 69 6e 65 73 6b 69 |m...\bas|elineski|
|000002e0| 70 20 31 34 70 74 0a 5c | 73 70 61 63 65 73 6b 69 |p 14pt.\|spaceski|
|000002f0| 70 20 20 2e 34 65 6d 20 | 70 6c 75 73 20 2e 32 35 |p  .4em |plus .25|
|00000300| 65 6d 20 6d 69 6e 75 73 | 20 2e 32 35 65 6d 0a 5c |em minus| .25em.\|
|00000310| 78 73 70 61 63 65 73 6b | 69 70 20 2e 36 35 65 6d |xspacesk|ip .65em|
|00000320| 0a 5c 70 61 72 73 6b 69 | 70 20 31 31 70 74 20 70 |.\parski|p 11pt p|
|00000330| 6c 75 73 20 31 70 74 20 | 6d 69 6e 75 73 20 31 70 |lus 1pt |minus 1p|
|00000340| 74 0a 5c 70 61 72 69 6e | 64 65 6e 74 20 30 70 74 |t.\parin|dent 0pt|
|00000350| 0a 0a 0a 5c 64 65 66 5c | 33 7b 5c 73 73 7b 7d 7d |...\def\|3{\ss{}}|
|00000360| 0a 0a 5c 64 65 66 5c 62 | 6f 78 69 74 23 31 7b 5c |..\def\b|oxit#1{\|
|00000370| 76 62 6f 78 7b 5c 68 72 | 75 6c 65 5c 68 62 6f 78 |vbox{\hr|ule\hbox|
|00000380| 7b 5c 76 72 75 6c 65 5c | 6b 65 72 6e 33 70 74 5c |{\vrule\|kern3pt\|
|00000390| 76 62 6f 78 7b 23 31 7d | 5c 6b 65 72 6e 33 70 74 |vbox{#1}|\kern3pt|
|000003a0| 5c 76 72 75 6c 65 7d 5c | 68 72 75 6c 65 7d 7d 0a |\vrule}\|hrule}}.|
|000003b0| 0a 5c 64 65 66 5c 63 6f | 7b 5c 68 62 6f 78 7b 5c |.\def\co|{\hbox{\|
|000003c0| 74 74 20 2f 2f 5c 20 7d | 7d 0a 5c 64 65 66 5c 27 |tt //\ }|}.\def\'|
|000003d0| 7b 5c 68 62 6f 78 7b 5c | 74 74 20 22 7d 7d 0a 5c |{\hbox{\|tt "}}.\|
|000003e0| 64 65 66 5c 3c 7b 5c 68 | 62 6f 78 7b 5c 74 74 20 |def\<{\h|box{\tt |
|000003f0| 3c 7d 7d 0a 5c 64 65 66 | 5c 3e 7b 5c 68 62 6f 78 |<}}.\def|\>{\hbox|
|00000400| 7b 5c 74 74 20 3e 7d 7d | 0a 5c 64 65 66 5c 43 43 |{\tt >}}|.\def\CC|
|00000410| 7b 43 5c 72 61 69 73 65 | 2e 30 38 65 78 5c 68 62 |{C\raise|.08ex\hb|
|00000420| 6f 78 7b 5c 74 74 20 2b | 2b 5c 20 7d 7d 0a 5c 64 |ox{\tt +|+\ }}.\d|
|00000430| 65 66 5c 43 43 43 7b 43 | 5c 72 61 69 73 65 2e 30 |ef\CCC{C|\raise.0|
|00000440| 38 65 78 5c 68 62 6f 78 | 7b 5c 74 74 20 2b 2b 7d |8ex\hbox|{\tt ++}|
|00000450| 7d 0a 5c 64 65 66 5c 67 | 67 7b 67 5c 68 62 6f 78 |}.\def\g|g{g\hbox|
|00000460| 7b 5c 74 74 20 2b 2b 5c | 20 7d 7d 0a 0a 5c 64 65 |{\tt ++\| }}..\de|
|00000470| 66 5c 6e 61 74 7b 5c 68 | 62 6f 78 7b 5c 72 6d 5c |f\nat{\h|box{\rm\|
|00000480| 76 72 75 6c 65 5c 6b 65 | 72 6e 2d 30 2e 30 34 35 |vrule\ke|rn-0.045|
|00000490| 65 6d 20 4e 7d 7d 0a 5c | 64 65 66 5c 72 65 61 6c |em N}}.\|def\real|
|000004a0| 7b 5c 68 62 6f 78 7b 5c | 72 6d 5c 76 72 75 6c 65 |{\hbox{\|rm\vrule|
|000004b0| 5c 6b 65 72 6e 2d 30 2e | 30 33 35 65 6d 20 52 7d |\kern-0.|035em R}|
|000004c0| 7d 0a 5c 64 65 66 5c 6e | 6c 7b 5c 68 66 69 6c 6c |}.\def\n|l{\hfill|
|000004d0| 5c 62 72 65 61 6b 7d 0a | 5c 64 65 66 5c 27 7b 5e |\break}.|\def\'{^|
|000004e0| 5c 70 72 69 6d 65 7d 0a | 5c 64 65 66 5c 62 65 67 |\prime}.|\def\beg|
|000004f0| 69 6e 69 74 65 6d 20 20 | 20 7b 5c 70 61 72 69 6e |initem  | {\parin|
|00000500| 64 65 6e 74 20 32 30 70 | 74 20 7d 0a 5c 64 65 66 |dent 20p|t }.\def|
|00000510| 5c 65 6e 64 69 74 65 6d | 20 20 20 20 20 7b 5c 70 |\enditem|     {\p|
|00000520| 61 72 69 6e 64 65 6e 74 | 20 30 70 74 20 7d 0a 5c |arindent| 0pt }.\|
|00000530| 64 65 66 5c 72 65 66 73 | 74 61 72 74 20 23 31 20 |def\refs|tart #1 |
|00000540| 7b 5c 70 61 72 69 6e 64 | 65 6e 74 20 23 31 20 7d |{\parind|ent #1 }|
|00000550| 0a 5c 64 65 66 5c 72 65 | 66 65 6e 64 20 20 20 20 |.\def\re|fend    |
|00000560| 20 20 7b 5c 70 61 72 69 | 6e 64 65 6e 74 20 30 70 |  {\pari|ndent 0p|
|00000570| 74 20 7d 0a 5c 64 65 66 | 5c 72 65 66 20 23 31 20 |t }.\def|\ref #1 |
|00000580| 23 32 20 20 20 7b 5c 69 | 74 65 6d 20 7b 5c 68 62 |#2   {\i|tem {\hb|
|00000590| 6f 78 20 74 6f 20 5c 70 | 61 72 69 6e 64 65 6e 74 |ox to \p|arindent|
|000005a0| 20 7b 5c 62 66 20 5c 20 | 5b 23 31 5d 20 5c 68 66 | {\bf \ |[#1] \hf|
|000005b0| 69 6c 6c 7d 7d 20 23 32 | 7d 0a 0a 0a 25 6f 70 65 |ill}} #2|}...%ope|
|000005c0| 72 61 74 69 6f 6e 0a 5c | 64 65 66 5c 6f 70 20 20 |ration.\|def\op  |
|000005d0| 23 31 20 23 32 20 23 33 | 20 23 34 20 7b 26 20 24 |#1 #2 #3| #4 {& $|
|000005e0| 23 31 24 20 26 20 5c 76 | 61 72 2e 23 32 28 24 23 |#1$ & \v|ar.#2($#|
|000005f0| 33 24 29 20 20 20 26 20 | 23 34 5c 63 72 7d 0a 5c |3$)   & |#4\cr}.\|
|00000600| 64 65 66 5c 6e 6f 70 20 | 23 31 20 20 20 20 20 20 |def\nop |#1      |
|00000610| 20 20 20 20 7b 26 20 20 | 20 20 20 20 26 20 20 20 |    {&  |    &   |
|00000620| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 26 20 |        |      & |
|00000630| 23 31 5c 63 72 7d 0a 0a | 25 62 69 6e 61 72 79 20 |#1\cr}..|%binary |
|00000640| 6f 70 65 72 61 74 6f 72 | 0a 5c 64 65 66 5c 6f 70 |operator|.\def\op|
|00000650| 62 20 23 31 20 23 32 20 | 23 33 20 23 34 20 7b 26 |b #1 #2 |#3 #4 {&|
|00000660| 20 24 23 31 24 20 26 20 | 5c 76 61 72 5c 20 5c 68 | $#1$ & |\var\ \h|
|00000670| 62 6f 78 20 74 6f 20 2e | 38 74 72 75 65 63 6d 7b |box to .|8truecm{|
|00000680| 24 23 32 24 5c 68 66 69 | 6c 7d 20 24 23 33 24 20 |$#2$\hfi|l} $#3$ |
|00000690| 20 26 23 34 5c 63 72 7d | 0a 0a 25 75 6e 61 72 79 | &#4\cr}|..%unary|
|000006a0| 20 6f 70 65 72 61 74 6f | 72 0a 5c 64 65 66 5c 6f | operato|r.\def\o|
|000006b0| 70 75 20 23 31 20 23 32 | 20 23 33 20 20 20 20 7b |pu #1 #2| #3    {|
|000006c0| 26 20 24 23 31 24 20 26 | 20 24 23 32 24 20 5c 76 |& $#1$ &| $#2$ \v|
|000006d0| 61 72 20 20 20 20 20 20 | 20 26 20 23 33 5c 63 72 |ar      | & #3\cr|
|000006e0| 7d 0a 0a 25 6f 70 65 72 | 61 74 6f 72 5b 5d 0a 5c |}..%oper|ator[].\|
|000006f0| 64 65 66 5c 6f 70 61 20 | 23 31 20 23 32 20 23 33 |def\opa |#1 #2 #3|
|00000700| 20 20 20 20 7b 26 20 24 | 23 31 24 20 26 20 5c 76 |    {& $|#1$ & \v|
|00000710| 61 72 5c 20 24 5b 23 32 | 5d 24 20 20 26 23 33 5c |ar\ $[#2|]$  &#3\|
|00000720| 63 72 7d 0a 0a 25 6f 70 | 65 72 61 74 6f 72 28 29 |cr}..%op|erator()|
|00000730| 0a 5c 64 65 66 5c 6f 70 | 66 20 23 31 20 23 32 20 |.\def\op|f #1 #2 |
|00000740| 23 33 20 20 20 20 7b 26 | 20 24 23 31 24 20 26 20 |#3    {&| $#1$ & |
|00000750| 5c 76 61 72 5c 20 24 28 | 23 32 29 24 20 20 26 23 |\var\ $(|#2)$  &#|
|00000760| 33 5c 63 72 7d 0a 0a 25 | 73 74 72 65 61 6d 20 6f |3\cr}..%|stream o|
|00000770| 70 65 72 61 74 6f 72 0a | 5c 64 65 66 5c 6f 70 73 |perator.|\def\ops|
|00000780| 20 23 31 20 23 32 20 23 | 33 20 23 34 20 7b 26 20 | #1 #2 #|3 #4 {& |
|00000790| 24 23 31 24 20 26 20 24 | 23 33 24 5c 20 5c 68 62 |$#1$ & $|#3$\ \hb|
|000007a0| 6f 78 20 74 6f 20 2e 38 | 74 72 75 65 63 6d 7b 24 |ox to .8|truecm{$|
|000007b0| 23 32 24 5c 68 66 69 6c | 7d 20 5c 76 61 72 20 20 |#2$\hfil|} \var  |
|000007c0| 26 23 34 5c 63 72 7d 0a | 0a 0a 5c 64 65 66 5c 66 |&#4\cr}.|..\def\f|
|000007d0| 72 69 65 6e 64 20 23 31 | 20 23 32 20 23 33 20 23 |riend #1| #2 #3 #|
|000007e0| 34 20 7b 26 20 24 23 31 | 24 20 26 20 23 32 28 24 |4 {& $#1|$ & #2($|
|000007f0| 23 33 24 29 20 26 20 23 | 34 5c 63 72 7d 0a 0a 5c |#3$) & #|4\cr}..\|
|00000800| 64 65 66 5c 74 65 6d 70 | 6c 61 74 65 20 23 31 20 |def\temp|late #1 |
|00000810| 23 32 20 20 20 20 20 20 | 20 20 20 20 20 20 7b 24 |#2      |      {$|
|00000820| 23 31 24 7b 5c 74 74 20 | 3c 7d 24 23 32 24 7b 5c |#1${\tt |<}$#2${\|
|00000830| 74 74 20 3e 7d 7d 0a 0a | 5c 64 65 66 5c 64 65 63 |tt >}}..|\def\dec|
|00000840| 6c 20 23 31 20 23 32 20 | 20 20 20 20 20 20 20 0a |l #1 #2 |       .|
|00000850| 7b 5c 64 65 66 5c 74 79 | 70 65 20 7b 23 31 7d 20 |{\def\ty|pe {#1} |
|00000860| 5c 64 65 66 5c 6e 61 6d | 65 20 7b 24 23 31 24 7b |\def\nam|e {$#1${|
|00000870| 5c 74 74 20 3c 7d 24 23 | 32 24 7b 5c 74 74 20 3e |\tt <}$#|2${\tt >|
|00000880| 7d 7d 20 7d 0a 0a 5c 64 | 65 66 5c 64 65 63 6c 74 |}} }..\d|ef\declt|
|00000890| 77 6f 20 23 31 20 23 32 | 20 23 33 20 20 0a 7b 5c |wo #1 #2| #3  .{\|
|000008a0| 64 65 66 5c 74 79 70 65 | 20 7b 23 31 7d 20 5c 64 |def\type| {#1} \d|
|000008b0| 65 66 5c 6e 61 6d 65 20 | 7b 24 23 31 24 7b 5c 74 |ef\name |{$#1${\t|
|000008c0| 74 20 3c 7d 24 23 32 2c | 23 33 24 7b 5c 74 74 20 |t <}$#2,|#3${\tt |
|000008d0| 3e 7d 7d 20 7d 0a 0a 5c | 64 65 66 5c 64 65 63 6c |>}} }..\|def\decl|
|000008e0| 74 68 72 65 65 20 23 31 | 20 23 32 20 23 33 20 23 |three #1| #2 #3 #|
|000008f0| 34 20 0a 7b 5c 64 65 66 | 5c 74 79 70 65 20 7b 23 |4 .{\def|\type {#|
|00000900| 31 7d 20 5c 64 65 66 5c | 6e 61 6d 65 20 7b 24 23 |1} \def\|name {$#|
|00000910| 31 24 7b 5c 74 74 20 3c | 7d 24 23 32 2c 23 33 2c |1${\tt <|}$#2,#3,|
|00000920| 23 34 24 7b 5c 74 74 20 | 3e 7d 7d 20 7d 0a 0a 5c |#4${\tt |>}} }..\|
|00000930| 64 65 66 5c 63 72 65 61 | 74 65 20 23 31 20 23 32 |def\crea|te #1 #2|
|00000940| 20 20 20 20 20 20 20 20 | 20 20 7b 20 5c 6e 61 6d |        |  { \nam|
|00000950| 65 5c 20 5c 20 24 23 31 | 20 23 32 24 3b 20 5c 64 |e\ \ $#1| #2$; \d|
|00000960| 65 66 5c 76 61 72 20 7b | 24 23 31 24 7d 20 7d 0a |ef\var {|$#1$} }.|
|00000970| 0a 0a 5c 64 65 66 5c 6f | 70 65 72 61 74 69 6f 6e |..\def\o|peration|
|00000980| 73 20 20 7b 4f 70 65 72 | 61 74 69 6f 6e 73 20 6f |s  {Oper|ations o|
|00000990| 6e 20 61 20 5c 74 79 70 | 65 5c 20 5c 76 61 72 7d |n a \typ|e\ \var}|
|000009a0| 0a 0a 5c 64 65 66 5c 70 | 72 65 63 6f 6e 64 20 7b |..\def\p|recond {|
|000009b0| 7b 5c 69 74 20 50 72 65 | 63 6f 6e 64 69 74 69 6f |{\it Pre|conditio|
|000009c0| 6e 7d 3a 20 7d 0a 0a 0a | 5c 64 65 66 5c 49 66 20 |n}: }...|\def\If |
|000009d0| 20 20 20 20 20 20 7b 7b | 5c 62 66 20 69 66 7d 20 |      {{|\bf if} |
|000009e0| 7d 0a 5c 64 65 66 5c 46 | 69 20 20 20 20 20 20 20 |}.\def\F|i       |
|000009f0| 7b 7b 5c 62 66 20 66 69 | 7d 20 7d 0a 5c 64 65 66 |{{\bf fi|} }.\def|
|00000a00| 5c 54 68 65 6e 20 20 20 | 20 20 7b 7b 5c 62 66 20 |\Then   |  {{\bf |
|00000a10| 74 68 65 6e 7d 20 7d 0a | 5c 64 65 66 5c 45 6c 73 |then} }.|\def\Els|
|00000a20| 65 20 20 20 20 20 7b 7b | 5c 62 66 20 65 6c 73 65 |e     {{|\bf else|
|00000a30| 7d 20 7d 0a 5c 64 65 66 | 5c 44 6f 20 20 20 20 20 |} }.\def|\Do     |
|00000a40| 20 20 7b 7b 5c 62 66 20 | 64 6f 7d 20 7d 0a 5c 64 |  {{\bf |do} }.\d|
|00000a50| 65 66 5c 4f 64 20 20 20 | 20 20 20 20 7b 7b 5c 62 |ef\Od   |    {{\b|
|00000a60| 66 20 6f 64 7d 20 7d 0a | 5c 64 65 66 5c 46 6f 72 |f od} }.|\def\For|
|00000a70| 20 20 20 20 20 20 7b 7b | 5c 62 66 20 66 6f 72 7d |      {{|\bf for}|
|00000a80| 20 7d 0a 5c 64 65 66 5c | 57 68 69 6c 65 20 20 20 | }.\def\|While   |
|00000a90| 20 7b 7b 5c 62 66 20 77 | 68 69 6c 65 7d 20 7d 0a | {{\bf w|hile} }.|
|00000aa0| 5c 64 65 66 5c 52 65 74 | 75 72 6e 20 20 20 7b 7b |\def\Ret|urn   {{|
|00000ab0| 5c 62 66 20 72 65 74 75 | 72 6e 7d 20 7d 0a 5c 64 |\bf retu|rn} }.\d|
|00000ac0| 65 66 5c 42 72 65 61 6b | 20 20 20 20 7b 7b 5c 62 |ef\Break|    {{\b|
|00000ad0| 66 20 72 65 74 75 72 6e | 7d 20 7d 0a 5c 64 65 66 |f return|} }.\def|
|00000ae0| 5c 43 6f 6e 74 69 6e 75 | 65 20 7b 7b 5c 62 66 20 |\Continu|e {{\bf |
|00000af0| 63 6f 6e 74 69 6e 75 65 | 7d 20 7d 0a 5c 64 65 66 |continue|} }.\def|
|00000b00| 5c 43 61 73 65 20 20 20 | 20 20 7b 7b 5c 62 66 20 |\Case   |  {{\bf |
|00000b10| 63 61 73 65 7d 20 7d 0a | 5c 64 65 66 5c 53 77 69 |case} }.|\def\Swi|
|00000b20| 74 63 68 20 20 20 7b 7b | 5c 62 66 20 73 77 69 74 |tch   {{|\bf swit|
|00000b30| 63 68 7d 20 7d 0a 5c 64 | 65 66 5c 43 6c 61 73 73 |ch} }.\d|ef\Class|
|00000b40| 20 20 20 20 7b 7b 5c 62 | 66 20 63 6c 61 73 73 7d |    {{\b|f class}|
|00000b50| 20 7d 0a 5c 64 65 66 5c | 53 74 72 75 63 74 20 20 | }.\def\|Struct  |
|00000b60| 20 7b 7b 5c 62 66 20 73 | 74 72 75 63 74 7d 20 7d | {{\bf s|truct} }|
|00000b70| 0a 5c 64 65 66 5c 50 75 | 62 6c 69 63 20 20 20 7b |.\def\Pu|blic   {|
|00000b80| 7b 5c 62 66 20 70 75 62 | 6c 69 63 7d 20 7d 0a 5c |{\bf pub|lic} }.\|
|00000b90| 64 65 66 5c 46 72 69 65 | 6e 64 20 20 20 7b 7b 5c |def\Frie|nd   {{\|
|00000ba0| 62 66 20 66 72 69 65 6e | 64 7d 20 7d 0a 5c 64 65 |bf frien|d} }.\de|
|00000bb0| 66 5c 54 79 70 65 64 65 | 66 20 20 7b 7b 5c 62 66 |f\Typede|f  {{\bf|
|00000bc0| 20 74 79 70 65 64 65 66 | 7d 20 7d 0a 0a 5c 64 65 | typedef|} }..\de|
|00000bd0| 66 5c 6e 20 7b 24 5c 62 | 61 63 6b 73 6c 61 73 68 |f\n {$\b|ackslash|
|00000be0| 24 6e 7d 0a 0a 0a 25 20 | 4c 45 44 41 20 6d 61 63 |$n}...% |LEDA mac|
|00000bf0| 72 6f 73 3a 0a 0a 5c 64 | 65 66 5c 46 6f 72 61 6c |ros:..\d|ef\Foral|
|00000c00| 6c 20 20 20 20 20 20 20 | 20 20 7b 7b 5c 62 66 20 |l       |  {{\bf |
|00000c10| 66 6f 72 61 6c 6c 7d 20 | 7d 0a 5c 64 65 66 5c 46 |forall} |}.\def\F|
|00000c20| 6f 72 61 6c 6c 6e 6f 64 | 65 73 20 20 20 20 7b 7b |orallnod|es    {{|
|00000c30| 5c 62 66 20 66 6f 72 61 | 6c 6c 5c 5f 6e 6f 64 65 |\bf fora|ll\_node|
|00000c40| 73 7d 20 7d 0a 5c 64 65 | 66 5c 46 6f 72 61 6c 6c |s} }.\de|f\Forall|
|00000c50| 65 64 67 65 73 20 20 20 | 20 7b 7b 5c 62 66 20 66 |edges   | {{\bf f|
|00000c60| 6f 72 61 6c 6c 5c 5f 65 | 64 67 65 73 7d 20 7d 0a |orall\_e|dges} }.|
|00000c70| 5c 64 65 66 5c 46 6f 72 | 61 6c 6c 61 64 6a 6e 6f |\def\For|alladjno|
|00000c80| 64 65 73 20 7b 7b 5c 62 | 66 20 66 6f 72 61 6c 6c |des {{\b|f forall|
|00000c90| 5c 5f 61 64 6a 5c 5f 6e | 6f 64 65 73 7d 20 7d 0a |\_adj\_n|odes} }.|
|00000ca0| 5c 64 65 66 5c 46 6f 72 | 61 6c 6c 61 64 6a 65 64 |\def\For|alladjed|
|00000cb0| 67 65 73 20 7b 7b 5c 62 | 66 20 66 6f 72 61 6c 6c |ges {{\b|f forall|
|00000cc0| 5c 5f 61 64 6a 5c 5f 65 | 64 67 65 73 7d 20 7d 0a |\_adj\_e|dges} }.|
|00000cd0| 0a 0a 25 20 76 65 72 62 | 61 74 69 6d 0a 0a 5c 66 |..% verb|atim..\f|
|00000ce0| 6f 6e 74 5c 74 74 62 69 | 67 3d 20 63 6d 74 74 31 |ont\ttbi|g= cmtt1|
|00000cf0| 30 20 73 63 61 6c 65 64 | 20 5c 6d 61 67 73 74 65 |0 scaled| \magste|
|00000d00| 70 68 61 6c 66 0a 0a 5c | 64 65 66 5c 6e 7b 24 5c |phalf..\|def\n{$\|
|00000d10| 62 61 63 6b 73 6c 61 73 | 68 24 6e 7d 0a 0a 5c 63 |backslas|h$n}..\c|
|00000d20| 68 61 72 64 65 66 5c 6f | 74 68 65 72 3d 31 32 0a |hardef\o|ther=12.|
|00000d30| 5c 64 65 66 5c 74 74 76 | 65 72 62 61 74 69 6d 20 |\def\ttv|erbatim |
|00000d40| 7b 0a 5c 70 61 72 73 6b | 69 70 20 35 70 74 0a 5c |{.\parsk|ip 5pt.\|
|00000d50| 63 61 74 63 6f 64 65 60 | 5c 26 3d 5c 6f 74 68 65 |catcode`|\&=\othe|
|00000d60| 72 20 5c 63 61 74 63 6f | 64 65 60 5c 7b 3d 5c 6f |r \catco|de`\{=\o|
|00000d70| 74 68 65 72 20 5c 63 61 | 74 63 6f 64 65 60 5c 7d |ther \ca|tcode`\}|
|00000d80| 3d 5c 6f 74 68 65 72 0a | 25 5c 63 61 74 63 6f 64 |=\other.|%\catcod|
|00000d90| 65 27 5c 5c 3d 5c 6f 74 | 68 65 72 20 0a 5c 63 61 |e'\\=\ot|her .\ca|
|00000da0| 74 63 6f 64 65 60 5c 24 | 3d 5c 6f 74 68 65 72 20 |tcode`\$|=\other |
|00000db0| 5c 63 61 74 63 6f 64 65 | 60 5c 26 3d 5c 6f 74 68 |\catcode|`\&=\oth|
|00000dc0| 65 72 0a 5c 63 61 74 63 | 6f 64 65 60 5c 23 3d 5c |er.\catc|ode`\#=\|
|00000dd0| 6f 74 68 65 72 20 5c 63 | 61 74 63 6f 64 65 60 5c |other \c|atcode`\|
|00000de0| 25 3d 5c 6f 74 68 65 72 | 20 5c 63 61 74 63 6f 64 |%=\other| \catcod|
|00000df0| 65 60 5c 7e 3d 5c 6f 74 | 68 65 72 0a 5c 63 61 74 |e`\~=\ot|her.\cat|
|00000e00| 63 6f 64 65 60 5c 5f 3d | 5c 6f 74 68 65 72 20 5c |code`\_=|\other \|
|00000e10| 63 61 74 63 6f 64 65 60 | 5c 5e 3d 5c 6f 74 68 65 |catcode`|\^=\othe|
|00000e20| 72 0a 5c 6f 62 65 79 73 | 70 61 63 65 73 20 5c 6f |r.\obeys|paces \o|
|00000e30| 62 65 79 6c 69 6e 65 73 | 7d 0a 0a 25 20 75 73 61 |beylines|}..% usa|
|00000e40| 67 65 3a 0a 25 0a 25 5c | 62 65 67 69 6e 67 72 6f |ge:.%.%\|begingro|
|00000e50| 75 70 0a 25 20 5c 74 74 | 62 69 67 0a 25 20 7b 5c |up.% \tt|big.% {\|
|00000e60| 6f 62 65 79 73 70 61 63 | 65 73 5c 67 64 65 66 20 |obeyspac|es\gdef |
|00000e70| 7b 5c 20 7d 7d 0a 25 20 | 5c 74 74 76 65 72 62 61 |{\ }}.% |\ttverba|
|00000e80| 74 69 6d 0a 25 0a 25 20 | 2e 2e 2e 0a 25 0a 25 5c |tim.%.% |....%.%\|
|00000e90| 65 6e 64 67 72 6f 75 70 | 0a                      |endgroup|.       |
+--------+-------------------------+-------------------------+--------+--------+